Application of Embedded Testing Methods to Service Validation
نویسندگان
چکیده
Conformance testing is a crucial phase in the life-cycle of communicating systems. However, classical testing methods are not appropriate for use in all tasks concerning the test of telecommunications services (especially regression and integration tests). This is so because Intelligent Networks, into which these services are installed, are modular architectures (composed of building blocks) evolving basically by the addition of new services/features that may share the same resources (reusability). This paper investigates how embedded conformance testing methods can be applied in the context of service validation, taking into account the different testing phases in the service life-cycle. In order to illustrate their application, the validation of telephone services (Basic Call Service, Originating Call Screening and Call Forward Unconditional) on an Intelligent Network framework is presented. It is also shown how some cases of feature interaction can be detected.
منابع مشابه
A Formal Framework of Hybrid Test Cases Generation Applied to Embedded Systems
In this paper, we describe a formal framework for conformance testing of continuous and hybrid systems, using the international standard ’Formal Methods in Conformance Testing’ FMCT. We propose a novel test coverage measure for these systems, which is defined using the star discrepancy notion. This coverage measure is used to quantify the validation ’completeness’. It is also used to guide inpu...
متن کاملReliable and Precise WCET and Stack Size Determination for a Real-life Embedded Application
Failure of a safety-critical application on an embedded processor can lead to severe damage or even loss of life. Here we are concerned with two kinds of failure: stack overflow, which usually leads to run-time errors that are difficult to diagnose, and failure to meet deadlines, which is catastrophic for systems with hard real-time characteristics. Classical software validation methods like si...
متن کاملTest Model and Coverage Analysis for Location-based Mobile Services
Location-based services (LBS) are very important mobile app services, which provide diverse mobility services for mobile users anywhere and anytime. This brings new demands, issues, and challenges in mobile application testing. Today, mobile applications provide location-based service functions based on dynamic location contexts, mobile users and their travel patterns to deliver location-based ...
متن کاملStatic Memory and Timing Analysis of Embedded Systems Code
Failure of a safety-critical application on an embedded processor can lead to severe damage or even loss of life. Here we are concerned with two kinds of failure: stack overflow, which usually leads to runtime errors that are difficult to diagnose, and failure to meet deadlines, which is catastrophic for systems with hard real-time characteristics. Classical validation methods like code review ...
متن کاملAdaptation of State/Transition-Based Methods for Embedded System Testing
In this paper test generation methods and appropriate fault models for testing and analysis of embedded systems described as (extended) finite state machines ((E)FSMs) are presented. Compared to simple FSMs, EFSMs specify not only the control flow but also the data flow. Thus, we define a two-level fault model to cover both aspects. The goal of this paper is to reuse well-known FSM-based test g...
متن کامل